آثار الباقية في شرح الحاشية - ذهنی تهرانی، سید محمد جواد - الصفحة ٢٧٨ - برهان خلف در عكس عامتان

الاصابع كاتب حين هو ساكن الاصابع بالفعل » و هو مع الاصل ينتج « بعض ساكن الاصابع ليس بساكن الاصابع بالفعل حين هو ساكن الاصابع » هذا خلف .

ترجمه :

عكس عامّتان‌

مرحوم محشّى در ذيل كلام مصنّف كه ميگويد « و العامّتان » ميفرمايد :

مقصود از « عامّتان » مشروطه عامّه و عرفيّه عامّه است كه عكس هردو عرفيّه عامّه ميشود .

برهان خلف در عكس عامّتان‌

مثلا قضيّه « بالضرورة يا بالدوام لا شئ من الكاتب بساكن الاصابع مادام كاتبا » كه عرفيه عامه يا مشروطه عامّه است صادق مى‌باشد حال مدّعاى ما اينست كه عكس اين دو قضيّه، قضيّه عرفيّه عامّه ذيل است باين شرح :

بالدّوام لا شئ من ساكن الاصابع بكاتب مادام ساكن الاصابع زيرا در غير اينصورت نقيض آن‌كه قضيه « بعض ساكن الاصابع كاتب حين هو ساكن الاصابع بالفعل » باشد صدق نمايد در حاليكه وقتى آنرا با اصل قضيّه ضميمه كرده و قياس باين نحو تشكيل دهيم :

بعض ساكن الاصابع كاتب حين هو ساكن الاصابع بالفعل ( صغرى ) و لا شئ من الكاتب بساكن الاصابع ( كبرى ) ،

نتيجه‌اش چنين ميشود : بعض ساكن الاصابع ليس بساكن الاصابع حين هو ساكن الاصابع و اين امر محال و ممتنعى است مضافا باينكه‌

آثار الباقية في شرح الحاشية، ص